\begin{tabbing}
$\forall$${\it es}$:ES, $X$:AbsInterface($\mathbb{Z}$), $e$:E.
\\[0ex]$\Sigma\leq$$e$($X$)
\\[0ex]=
\\[0ex]if\= $e$ $\in_{b}$ $X$\+
\\[0ex]then if $e$ $\in_{b}$ prior($X$) then $\Sigma\leq$prior($X$)($e$)($X$) else 0 fi +$X$($e$)
\-\\[0ex]if $e$ $\in_{b}$ prior($X$) then $\Sigma\leq$prior($X$)($e$)($X$) else 0 fi 
\\[0ex]$\in$ $\mathbb{Z}$
\end{tabbing}